Publications de
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
On the consistency problem for the INDU calculus
Dans : Journal of Applied Logic, Elsevier, Vol. 4, p. 119-140, 2006.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Le problème de la cohérence des réseaux de contraintes du formalisme INDU
Dans : Journal électronique d’intelligence artificielle, Vol. 2, p. 1-14, 2004.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Le problème de la cohérence des réseaux de contraintes du formalisme INDU
Dans : Neuvièmes journées nationales sur la résolution pratique de problèmes NP-complets (JNPC 2003), France, 01/01/03-31/12/03, T. Schiex (Eds.), Université de Picardie Jules Verne – Laboratoire de recherche en informatique d’Amiens, p. 23-37, janvier 2003.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Reasoning about cyclic space: axiomatic and computational aspects
Dans : Spatial Cognition III (SC 2002), Allemagne, 01/01/03-31/12/03, C. Freksa, W. Brauer, C. Habel (Eds.), Springer-Verlag, p. 348-371, janvier 2003.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
On the consistency problem for the INDU calculus
Dans : 10th International Symposium on Temporal Representation and Reasoning – 4th International Conference on Temporal Logic (TIME 2003 – ICTL 2003), Australie, 01/07/03-31/07/03, M. Reynolds, A. Sattar (Eds.), Institute of Electrical and Electronics Engineers, p. 203-211, juillet 2003.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Reasoning about generalized intervals: Horn representabilityand tractability
Dans : Seventh International Workshop on Temporal Representationand Reasoning, Canada, 01/01/00-31/12/00, Institute of Electrical and Electronics Engineers, p. 23-39, janvier 2000.